Formal languages

Results: 2429



#Item
941Application Boundaries Enforcer (ABE) NoScript Module Rules Syntax And Capabilities Version 0.3 – Author: Giorgio Maone –

Application Boundaries Enforcer (ABE) NoScript Module Rules Syntax And Capabilities Version 0.3 – Author: Giorgio Maone –

Add to Reading List

Source URL: hackademix.net

Language: English - Date: 2008-12-19 19:02:59
942Termination of LCTRSs∗ Cynthia Kop1 1 Department of Computer Science, University of Innsbruck Technikerstraße 21a, 6020 Innsbruck, Austria

Termination of LCTRSs∗ Cynthia Kop1 1 Department of Computer Science, University of Innsbruck Technikerstraße 21a, 6020 Innsbruck, Austria

Add to Reading List

Source URL: www.imn.htwk-leipzig.de

Language: English - Date: 2013-08-26 10:13:14
943On the Utility of Curricula in Unsupervised Learning of Probabilistic Grammars Vasant Honavar Department of Computer Science Iowa State University Ames, IA 50011, USA

On the Utility of Curricula in Unsupervised Learning of Probabilistic Grammars Vasant Honavar Department of Computer Science Iowa State University Ames, IA 50011, USA

Add to Reading List

Source URL: www.cs.iastate.edu

Language: English - Date: 2011-04-20 00:26:40
944Distributional Phrase Structure Induction Dan Klein and Christopher D. Manning Computer Science Department Stanford University Stanford, CA[removed]klein, manning  @cs.stanford.edu

Distributional Phrase Structure Induction Dan Klein and Christopher D. Manning Computer Science Department Stanford University Stanford, CA[removed]klein, manning  @cs.stanford.edu

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2001-05-28 19:28:07
945OMeta: an Object-Oriented Language for Pattern Matching ∗ Alessandro Warth Ian Piumarta Computer Science Department

OMeta: an Object-Oriented Language for Pattern Matching ∗ Alessandro Warth Ian Piumarta Computer Science Department

Add to Reading List

Source URL: tinlizzie.org

Language: English - Date: 2008-12-30 02:04:39
946Formal Veri ation of a Memory Model for C -Like Imperative Languages Sandrine Blazy and Xavier Leroy INRIA Ro quen ourt[removed]Le Chesnay edex, Fran e

Formal Veri ation of a Memory Model for C -Like Imperative Languages Sandrine Blazy and Xavier Leroy INRIA Ro quen ourt[removed]Le Chesnay edex, Fran e

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2005-10-31 04:04:01
947Flows for Movies Example Form: Control Changes Function RequerySubform

Flows for Movies Example Form: Control Changes Function RequerySubform

Add to Reading List

Source URL: augsd.org

Language: English - Date: 2012-02-27 12:17:08
948Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te

Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te

Add to Reading List

Source URL: www.nik.no

Language: English - Date: 2004-12-12 14:02:10
949Assisted Proof Document Authoring David Aspinall1 , Christoph L¨ uth2 , and Burkhart Wolff3 1 2

Assisted Proof Document Authoring David Aspinall1 , Christoph L¨ uth2 , and Burkhart Wolff3 1 2

Add to Reading List

Source URL: proofgeneral.inf.ed.ac.uk

Language: English - Date: 2006-09-27 08:42:21
950CIVIL SERVICE CODE AUDIT 2013 – Recommendations & Examples of Good Practice   QUESTION RECOMMENDATION EXAMPLE OF GOOD PRACTICE 1. Do you have a formal statement of policy for There is a specific statement setting o

CIVIL SERVICE CODE AUDIT 2013 – Recommendations & Examples of Good Practice   QUESTION RECOMMENDATION EXAMPLE OF GOOD PRACTICE 1. Do you have a formal statement of policy for There is a specific statement setting o

Add to Reading List

Source URL: civilservicecommission.independent.gov.uk

Language: English - Date: 2015-03-18 11:42:30